341. Service-oriented computing--ICSOC 2012 Workshops
پدیدآورنده : Aditya Ghose ... [et al.] (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electronic data processing-- Distributed processing, Congresses,Service-oriented architecture (Computer science), Congresses,Web services, Congresses
رده :
QA76
.
9
.
D5
I27
2012
342. Software engineering, artificial intelligence, networking and parallel/distributed computing 2011
پدیدآورنده : Roger Lee (Ed.)
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Software engineering,Artificial intelligence,Parallel processing (Electronic computers),Computer networks, Congresses,Electronic data processing, Distributed processing, Congresses
رده :
QA
،
76
.
758
،.
S6457
،
2011
343. Software technologies for embedded and ubiquitous systems
پدیدآورنده : Sang Lyul Min ... [et al.] (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electronic data processing-- Distributed processing, Congresses,Embedded computer systems-- Programming, Congresses,Ubiquitous computing, Congresses
344. Stabilization, Safety, and Security of Distributed Systems
پدیدآورنده : \ Andrzej Pelc , Alexander A. Schwarzmann (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Self-stabilization (Computer science) -- Congresses.,Electronic data processing -- Distributed processing -- Safety measures -- Congresses.,خودثباتی (کامپیوتر) -- کنگره ها ,دادهپردازی -- پردازش توزبع شده -- پيش بينيهاي ايمني -- کنگره ها
رده :
QA
76
.
9
.
S54
2015
E-Book
,
345. Stabilization, safety, and security of distributed systems
پدیدآورنده : Rachid Guerraoui ; Franck Petit (ed.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer security, Congresses,Electronic data processing-- Distributed processing-- Safety measures, Congresses,Self-stabilization (Computer science), Congresses
رده :
QA76
.
9
.
S54
S67
2009
346. Stabilization, safety, and security of distributed systems :
پدیدآورنده : Taisuke Izumi, Petr Kuznetsov (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer security, Congresses.,Electronic data processing-- Distributed processing-- Safety measures, Congresses.,Self-stabilization (Computer science), Congresses.,Artificial intelligence.,Computer architecture & logic design.,Computer security.,Computers-- Expert Systems.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Operating Systems-- General.,Expert systems-- knowledge-based systems.,Network hardware.,Operating systems.,Self-stabilization (Computer science),Systems analysis & design.
رده :
QA76
.
9
.
S54
347. Stabilization, safety, and security of distributed systems :
پدیدآورنده : Xavier Défago, Franck Petit, Vincent Villainches
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer security, Congresses,Electronic data processing-- Distributed processing-- Safety measures, Congresses,Self-stabilization (Computer science), Congresses
رده :
QA76
.
9
.
S54
S67
2011
348. Stabilization, safety, and security of distributed systems : 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings
پدیدآورنده : Borzoo Bonakdarpour, Franck Petit )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Self-stabilization )Computer science(,Safety measures -- Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer security
رده :
QA
76
.
L28
Vol
.
10083
349. Stepwise refinement of distributed systems :
پدیدآورنده : J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electronic data processing-- Distributed processing, Congresses.
رده :
QA76
.
9
.
D5
S75
1990
350. Stepwise refinement of distributed systems : models, formalisms, correctness : REX Workshop , Mook, The Netherlands, May 29-June 2, 1989 : Proceedings
پدیدآورنده : J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
430
351. Structural Information and Communication Complexity :
پدیدآورنده : Keren Censor-Hillel, Michele Flammini (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks, Congresses.,Digital communications, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Computer networks.,Digital communications.,Electronic data processing-- Distributed processing.
رده :
QA76
.
9
.
A43
352. Structural Information and Communication Complexity :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Electronic data processing ; Distributed processing ; Congresses. ;
353. Structural information and communication complexity :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Electronic data processing ; Distributed processing ; Congresses. ;
354. Structural information and communication complexity :
پدیدآورنده : Zvi Lotker, Boaz Patt-Shamir (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks, Congresses.,Digital communications, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Algorithms & data structures.,Computer networking & communications.,Computer networks.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Operating Systems-- General.,Computers-- Programming-- Algorithms.,Digital communications.,Discrete mathematics.,Electronic data processing-- Distributed processing.,Operating systems.
رده :
QA76
.
9
.
A43
355. Structural information and communication complexity :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Electronic data processing ; Distributed processing ; Congresses. ;
356. Structural information and communication complexity : 12th International Colloquium, SIROCCO 2005, Mont Saint-Michel, France, May 24-26, 2005 : proceedings
پدیدآورنده : Andrzej Pelc, Michel Raynal )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer networks
رده :
QA
76
.
L28
Vol
.
3499
357. Structural information and communication complexity : 11th International Colloquium, SIROCCO 2004, Smolenice Castle, Slowakia, June 21-23, 2004 : proceedings
پدیدآورنده : Ratislav Kralovic, Ondrej Sykora )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer networks,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
3104
358. TRON project 1983: open-architecture cpmputer systems/ Proceedings of the fifth TRON Project Symposium
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Computer architecture,Congresses ، Real-time data processing,Congresses ، Electronic data processing-- Distributed processing
رده :
QA
76
.
9
.
A73
.
T76
1988
359. Third International Workshop on Object-oriented Real-time Dependable Systems: proceedings, February 5-7, 1997, Newport Beach, California, U.S.A
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Object-oriented databases,Congresses ، Real-time data processing,Congresses ، Electronic data processing-- Distributed processing,Congresses ، Computer networks
رده :
QA
76
.
9
.
D3
.
I587
1997